Implement CFL all-paths path-finding#9
Implement CFL all-paths path-finding#9DanyaLitva wants to merge 38 commits intoSparseLinearAlgebra:stablefrom
Conversation
All Paths Dev
Update LAGraph_CFL_AllPaths.c
|
Тесты ещё не готовы, сейчас они просто выводят матрицы, которые получились |
|
Так же в semiring CFPQ_core добавлена вторая операция сложения add_eps для Rule [Variable -> eps] upd добавил функцию get_nvals, так как в матрице могут изменяться внутренние векторы и обычного GrB_Matrix_nvals недостаточно |
|
Проверил алгоритм на примере из статьи Рустама Азимова Из статьи: Из программы: |
|
get_nvals_all_paths - подсчёт внутренних промежуточных вершин в матрице теперь реализован с помощью редукции графбласа теперь занимаюсь тестами |
|
Запустил санитайзер, оказалось что для A -> eps тоже нужно освобождать память при сложении, поэтому сейчас уберу вторую операцию сложения без освобождения памяти, она теперь не нужна Заметил, что почти во всех тестах вылезает следующее: |
2 participants
This PR adds an implementation algorithm for finding all paths based on the implementation of Rustam Azimov's algorithm for finding a single path and all paths in a graph with context-free constraints using matrix multiplication. Based on CFPQ-Core from #8